- formal abstraction
- формальная абстракция
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
formal abstraction
Смотреть что такое "formal abstraction" в других словарях:
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia
Abstraction — This article is about the concept of abstraction in general. For other uses, see abstraction (disambiguation). Abstraction is a process by which higher concepts are derived from the usage and classification of literal ( real or concrete )… … Wikipedia
Abstraction (computer science) — In computer science, abstraction is the process by which data and programs are defined with a representation similar to its pictorial meaning as rooted in the more complex realm of human life and language with their higher need of summarization… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Abstraction-Création — ▪ art group association of international painters and sculptors that from 1931 to 1936 promoted the principles of pure abstraction (abstract art) in art. The immediate predecessor of the Abstraction Création group was the Cercle et… … Universalium
abstraction — [[t]æbstræ̱kʃ(ə)n[/t]] abstractions 1) N VAR An abstraction is a general idea rather than one relating to a particular object, person, or situation. [FORMAL] Is it worth fighting a big war, in the name of an abstraction like sovereignty? Syn:… … English dictionary
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
abstraction — UK [æbˈstrækʃ(ə)n] / US [æbˈstrækʃən] noun Word forms abstraction : singular abstraction plural abstractions 1) [countable/uncountable] an idea or way of thinking that is not related to real situations or practical experiences a philosophical… … English dictionary
abstraction — abstractional, adj. /ab strak sheuhn/, n. 1. an abstract or general idea or term. 2. the act of considering something as a general quality or characteristic, apart from concrete realities, specific objects, or actual instances. 3. an impractical… … Universalium
abstraction — ab|strac|tion [ æb strækʃən ] noun 1. ) count or uncount an idea or way of thinking that is not related to real situations or practical experiences: a philosophical abstraction 2. ) uncount FORMAL an emotional or mental state that takes your… … Usage of the words and phrases in modern English
